constructive ordinalの例文

• A logic L can then be constructed in which the provable theorems are the totality of theorems provable with the help of the L1, L2, & etc . Thus Turing showed how one can associate a logic with any constructive ordinal.